Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
991	1 Logic-based Formalisms for Statistical Relational Learning James Cussens Department of Computer Science & York Centre for Complex Systems Analysis Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2008-04-29 12:08:04 Bayesian statistics Predicate logic Philosophy of mathematics Non-classical logic Probabilistic logic Bayesian probability Markov logic network Probability interpretations First-order logic Logic Mathematics Mathematical logic
992	Monte Carlo Sampling for Regret Minimization in Extensive Games Kevin Waugh School of Computer Science Carnegie Mellon University Pittsburgh PA Add to Reading List Source URL: mlanctot.info Language: English - Date: 2014-03-22 10:55:56 Structure Independence Mathematics Logic Probability theory Determinacy Extensive-form game
993	Computationally-based Agnostic Induction/Inference Terrence L. Fine School of Electrical & Computer Engrng Cornell University UCB on 29 November 2007 Add to Reading List Source URL: hplms.berkeley.edu Language: English - Date: 2015-03-14 17:56:40 Statistical inference Reasoning Computability theory Turing machine Epistemology Inductive inference Inductive reasoning Inference Kolmogorov complexity Science Logic Knowledge
994	The Complexity of Renaming Dan Alistarh EPFL James Aspnes Yale Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2011-11-17 23:45:06 Computer science Computational complexity theory Algorithm Mathematical logic Randomized algorithm Time complexity Adversary model Distributed computing Quantum algorithm Theoretical computer science Applied mathematics Analysis of algorithms
995	Computer Science Minor Requirements Required Completed CSC 127A Intro to Computer Science I Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2015-04-13 18:24:15 Philosophy of mathematics Computer science Science Academia Knowledge Abstraction Axiology Logic
996	DESCRIPTION: A NEGLECTED TOPIC IN SE (ORIGINAL TITLE) DEFINING A DISCIPLINE OF DESCRIPTION (PUBLISHED TITLE) At a 1985 Symposium on Unintentional Nuclear War, Brian Cantwell Smith argued that the notion of correctness fo Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2002-05-03 12:21:52 Software engineering Formal sciences Cybernetics System Systems science Systems theory Engineering Formal methods Logic Science Knowledge Ethology
997	Dr. Ezio Bartocci Curriculum Vitae Personal Information Gender: Add to Reading List Source URL: www.eziobartocci.com Language: English - Date: 2015-04-10 06:06:57 University of Camerino Computer science Institute of Science and Technology Austria Agent-based model Runtime verification Edmund M. Clarke Systems engineering Academia Software development Science Formal methods Logic in computer science
998	Preface Computable analysis is a branch of computability theory studying those functions on the real numbers and related sets which can be computed by machines such as digital computers. The increasing demand for reliab Add to Reading List Source URL: www.fernuni-hagen.de Language: English - Date: 2009-09-05 02:34:00 Mathematical logic Computable function Computable number Computable analysis Computable real function Specker sequence Enumeration Computability Numbering Computability theory Theory of computation Theoretical computer science
999	Master internship Petri net unfolding of biological networks Topic: Logic and Verification, Computational Biology Location: MExICo project team, LSV, École Normale Supérieure de Cachan, Cachan, France (Head of LSV: Lau Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-11 13:14:14 Diagrams Petri net Gene regulatory network Model checking Petri Attractor Actor model Chaos theory Computer science Concurrency Networks Systems biology
1000	2011 Good Practice Guide (Bachelor of Laws) THINKING SKILLS (Threshold Learning Outcome 3) Add to Reading List Source URL: www.lawteachnetwork.org Language: English - Date: 2012-10-14 20:18:09 Logic Thought Critical thinking Epistemology Philosophy of law Reason Jurisprudence Argumentation theory Critical legal studies Mind Science Knowledge

UPDATE